') ; var thefile=new File(mystring); thefile.open("r") ; while (!thefile.eof()) { line = thefile.readln(); if (!thefile.eof()) mywind1. document.write(line); } thefile.close(); mywind1.document.write(